Computer algebra systems - PDFSEARCH.IO - Document Search Engine

Computer algebra systems
Results: 620

#	Item
111	Microsoft Word - DVP-BTA Add to Reading List Source URL: www.vernier.com Language: English - Date: 2014-06-06 09:48:06 Technology Vernier Software & Technology Electronics TI-Nspire series Computing TI-84 Plus series TI-83 series Differential signaling TI-89 series Graphing calculators Programmable calculators Computer algebra systems
112	Microsoft Word - DCP-BTA Add to Reading List Source URL: www.vernier.com Language: English - Date: 2014-06-06 09:48:06 Computer algebra systems Vernier Software & Technology TI-Nspire series Computing Measuring instruments Texas Instruments TI-84 Plus series TI-89 series TI-83 series Graphing calculators Programmable calculators Technology
113	Microsoft Word - EasyTempdoc Add to Reading List Source URL: www.vernier.com Language: English - Date: 2014-06-06 09:48:06 Computer algebra systems Mathematics Computing TI-Nspire series Office equipment TI-84 Plus series Vernier Software & Technology Texas Instruments TI Connect Graphing calculators Programmable calculators Technology
114	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics
115	Boolean Logic Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 1: Boolean Logic Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2012-07-24 08:06:04 Mathematics Logic gates Digital circuits AND gate OR gate Boolean function Multiplexer Negated AND gate Boolean algebras canonically defined Mathematical logic Boolean algebra Algebraic logic
116	OPTIMIZATION GENERAL ALGEBRAIC MODELING SYSTEM High-Level Modeling The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming problems. GAMS is tailored for complex, large-s Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-06-17 04:20:11 Numerical analysis Applied mathematics General Algebraic Modeling System Renewable energy BARON Operations research Mathematical software Computer algebra systems
117	Microsoft Word - EasyData 2 Guidebook Master _printcustom_.doc Add to Reading List Source URL: www2.vernier.com Language: English - Date: 2011-08-02 19:43:27 Office equipment Mathematics Computing Computer algebra systems Texas Instruments Vernier Software & Technology TI-83 series TI-84 Plus series Calculator Programmable calculators Graphing calculators Technology
118	Microsoft Word - GO-MOT Add to Reading List Source URL: www.vernier.com Language: English - Date: 2015-06-09 16:40:36 Computer algebra systems Computer hardware Computing TI-Nspire series Vernier Software & Technology TI-83 series TI-84 Plus series TI Connect TI InterActive! Graphing calculators Programmable calculators Technology
119	Microsoft Word - HCS-BTA Add to Reading List Source URL: www.vernier.com Language: English - Date: 2014-06-06 09:48:06 Computer algebra systems Computing Vernier Software & Technology TI-Nspire series TI-84 Plus series Texas Instruments TI-89 series Hall effect TI-83 series Graphing calculators Programmable calculators Technology
120	GAMS 1 Franz Nelissen: GAMS Deve!opment Corp. Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-04-22 04:58:01 Numerical analysis Mathematical optimization Applied mathematics Numerical software General Algebraic Modeling System Mathematical modeling Algebraic modeling language AMPL Modeling language Operations research Mathematical software Computer algebra systems